Optimal. Leaf size=283 \[ \frac {B (b c-a d)^4 g i^3 n x}{20 b^3 d}+\frac {B (b c-a d)^3 g i^3 n (c+d x)^2}{40 b^2 d^2}+\frac {B (b c-a d)^2 g i^3 n (c+d x)^3}{60 b d^2}-\frac {B (b c-a d) g i^3 n (c+d x)^4}{20 d^2}-\frac {(b c-a d) g i^3 (c+d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{4 d^2}+\frac {b g i^3 (c+d x)^5 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{5 d^2}+\frac {B (b c-a d)^5 g i^3 n \log \left (\frac {a+b x}{c+d x}\right )}{20 b^4 d^2}+\frac {B (b c-a d)^5 g i^3 n \log (c+d x)}{20 b^4 d^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.17, antiderivative size = 283, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 41, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.122, Rules used = {2561, 45, 2382,
12, 78} \begin {gather*} -\frac {g i^3 (c+d x)^4 (b c-a d) \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )}{4 d^2}+\frac {b g i^3 (c+d x)^5 \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )}{5 d^2}+\frac {B g i^3 n (b c-a d)^5 \log \left (\frac {a+b x}{c+d x}\right )}{20 b^4 d^2}+\frac {B g i^3 n (b c-a d)^5 \log (c+d x)}{20 b^4 d^2}+\frac {B g i^3 n x (b c-a d)^4}{20 b^3 d}+\frac {B g i^3 n (c+d x)^2 (b c-a d)^3}{40 b^2 d^2}+\frac {B g i^3 n (c+d x)^3 (b c-a d)^2}{60 b d^2}-\frac {B g i^3 n (c+d x)^4 (b c-a d)}{20 d^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 45
Rule 78
Rule 2382
Rule 2561
Rubi steps
\begin {align*} \int (129 c+129 d x)^3 (a g+b g x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right ) \, dx &=\int \left (\frac {(-b c+a d) g (129 c+129 d x)^3 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{d}+\frac {b g (129 c+129 d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{129 d}\right ) \, dx\\ &=\frac {(b g) \int (129 c+129 d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right ) \, dx}{129 d}+\frac {((-b c+a d) g) \int (129 c+129 d x)^3 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right ) \, dx}{d}\\ &=-\frac {2146689 (b c-a d) g (c+d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{4 d^2}+\frac {2146689 b g (c+d x)^5 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{5 d^2}-\frac {(b B g n) \int \frac {35723051649 (b c-a d) (c+d x)^4}{a+b x} \, dx}{83205 d^2}+\frac {(B (b c-a d) g n) \int \frac {276922881 (b c-a d) (c+d x)^3}{a+b x} \, dx}{516 d^2}\\ &=-\frac {2146689 (b c-a d) g (c+d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{4 d^2}+\frac {2146689 b g (c+d x)^5 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{5 d^2}-\frac {(2146689 b B (b c-a d) g n) \int \frac {(c+d x)^4}{a+b x} \, dx}{5 d^2}+\frac {\left (2146689 B (b c-a d)^2 g n\right ) \int \frac {(c+d x)^3}{a+b x} \, dx}{4 d^2}\\ &=-\frac {2146689 (b c-a d) g (c+d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{4 d^2}+\frac {2146689 b g (c+d x)^5 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{5 d^2}-\frac {(2146689 b B (b c-a d) g n) \int \left (\frac {d (b c-a d)^3}{b^4}+\frac {(b c-a d)^4}{b^4 (a+b x)}+\frac {d (b c-a d)^2 (c+d x)}{b^3}+\frac {d (b c-a d) (c+d x)^2}{b^2}+\frac {d (c+d x)^3}{b}\right ) \, dx}{5 d^2}+\frac {\left (2146689 B (b c-a d)^2 g n\right ) \int \left (\frac {d (b c-a d)^2}{b^3}+\frac {(b c-a d)^3}{b^3 (a+b x)}+\frac {d (b c-a d) (c+d x)}{b^2}+\frac {d (c+d x)^2}{b}\right ) \, dx}{4 d^2}\\ &=\frac {2146689 B (b c-a d)^4 g n x}{20 b^3 d}+\frac {2146689 B (b c-a d)^3 g n (c+d x)^2}{40 b^2 d^2}+\frac {715563 B (b c-a d)^2 g n (c+d x)^3}{20 b d^2}-\frac {2146689 B (b c-a d) g n (c+d x)^4}{20 d^2}+\frac {2146689 B (b c-a d)^5 g n \log (a+b x)}{20 b^4 d^2}-\frac {2146689 (b c-a d) g (c+d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{4 d^2}+\frac {2146689 b g (c+d x)^5 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )}{5 d^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.15, size = 269, normalized size = 0.95 \begin {gather*} \frac {g i^3 \left (\frac {5 B (b c-a d)^2 n \left (6 b d (b c-a d)^2 x+3 b^2 (b c-a d) (c+d x)^2+2 b^3 (c+d x)^3+6 (b c-a d)^3 \log (a+b x)\right )}{b^4}-\frac {2 B (b c-a d) n \left (12 b d (b c-a d)^3 x+6 b^2 (b c-a d)^2 (c+d x)^2+4 b^3 (b c-a d) (c+d x)^3+3 b^4 (c+d x)^4+12 (b c-a d)^4 \log (a+b x)\right )}{b^4}-30 (b c-a d) (c+d x)^4 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )+24 b (c+d x)^5 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )\right )}{120 d^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.12, size = 0, normalized size = 0.00 \[\int \left (b g x +a g \right ) \left (d i x +c i \right )^{3} \left (A +B \ln \left (e \left (\frac {b x +a}{d x +c}\right )^{n}\right )\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Both result and optimal contain complex but leaf count of result is larger than
twice the leaf count of optimal. 1061 vs. \(2 (245) = 490\).
time = 0.31, size = 1061, normalized size = 3.75 \begin {gather*} -\frac {1}{5} i \, B b d^{3} g x^{5} \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - \frac {1}{5} i \, A b d^{3} g x^{5} - \frac {3}{4} i \, B b c d^{2} g x^{4} \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - \frac {1}{4} i \, B a d^{3} g x^{4} \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - \frac {3}{4} i \, A b c d^{2} g x^{4} - \frac {1}{4} i \, A a d^{3} g x^{4} - i \, B b c^{2} d g x^{3} \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - i \, B a c d^{2} g x^{3} \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - i \, A b c^{2} d g x^{3} - i \, A a c d^{2} g x^{3} - \frac {1}{2} i \, B b c^{3} g x^{2} \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - \frac {3}{2} i \, B a c^{2} d g x^{2} \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - \frac {1}{2} i \, A b c^{3} g x^{2} - \frac {3}{2} i \, A a c^{2} d g x^{2} - \frac {1}{60} i \, B b d^{3} g n {\left (\frac {12 \, a^{5} \log \left (b x + a\right )}{b^{5}} - \frac {12 \, c^{5} \log \left (d x + c\right )}{d^{5}} - \frac {3 \, {\left (b^{4} c d^{3} - a b^{3} d^{4}\right )} x^{4} - 4 \, {\left (b^{4} c^{2} d^{2} - a^{2} b^{2} d^{4}\right )} x^{3} + 6 \, {\left (b^{4} c^{3} d - a^{3} b d^{4}\right )} x^{2} - 12 \, {\left (b^{4} c^{4} - a^{4} d^{4}\right )} x}{b^{4} d^{4}}\right )} + \frac {1}{8} i \, B b c d^{2} g n {\left (\frac {6 \, a^{4} \log \left (b x + a\right )}{b^{4}} - \frac {6 \, c^{4} \log \left (d x + c\right )}{d^{4}} + \frac {2 \, {\left (b^{3} c d^{2} - a b^{2} d^{3}\right )} x^{3} - 3 \, {\left (b^{3} c^{2} d - a^{2} b d^{3}\right )} x^{2} + 6 \, {\left (b^{3} c^{3} - a^{3} d^{3}\right )} x}{b^{3} d^{3}}\right )} + \frac {1}{24} i \, B a d^{3} g n {\left (\frac {6 \, a^{4} \log \left (b x + a\right )}{b^{4}} - \frac {6 \, c^{4} \log \left (d x + c\right )}{d^{4}} + \frac {2 \, {\left (b^{3} c d^{2} - a b^{2} d^{3}\right )} x^{3} - 3 \, {\left (b^{3} c^{2} d - a^{2} b d^{3}\right )} x^{2} + 6 \, {\left (b^{3} c^{3} - a^{3} d^{3}\right )} x}{b^{3} d^{3}}\right )} - \frac {1}{2} i \, B b c^{2} d g n {\left (\frac {2 \, a^{3} \log \left (b x + a\right )}{b^{3}} - \frac {2 \, c^{3} \log \left (d x + c\right )}{d^{3}} - \frac {{\left (b^{2} c d - a b d^{2}\right )} x^{2} - 2 \, {\left (b^{2} c^{2} - a^{2} d^{2}\right )} x}{b^{2} d^{2}}\right )} - \frac {1}{2} i \, B a c d^{2} g n {\left (\frac {2 \, a^{3} \log \left (b x + a\right )}{b^{3}} - \frac {2 \, c^{3} \log \left (d x + c\right )}{d^{3}} - \frac {{\left (b^{2} c d - a b d^{2}\right )} x^{2} - 2 \, {\left (b^{2} c^{2} - a^{2} d^{2}\right )} x}{b^{2} d^{2}}\right )} + \frac {1}{2} i \, B b c^{3} g n {\left (\frac {a^{2} \log \left (b x + a\right )}{b^{2}} - \frac {c^{2} \log \left (d x + c\right )}{d^{2}} + \frac {{\left (b c - a d\right )} x}{b d}\right )} + \frac {3}{2} i \, B a c^{2} d g n {\left (\frac {a^{2} \log \left (b x + a\right )}{b^{2}} - \frac {c^{2} \log \left (d x + c\right )}{d^{2}} + \frac {{\left (b c - a d\right )} x}{b d}\right )} - i \, B a c^{3} g n {\left (\frac {a \log \left (b x + a\right )}{b} - \frac {c \log \left (d x + c\right )}{d}\right )} - i \, B a c^{3} g x \log \left ({\left (\frac {b x}{d x + c} + \frac {a}{d x + c}\right )}^{n} e\right ) - i \, A a c^{3} g x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 603 vs. \(2 (245) = 490\).
time = 0.50, size = 603, normalized size = 2.13 \begin {gather*} -\frac {24 \, {\left (i \, A + i \, B\right )} b^{5} d^{5} g x^{5} + 6 \, {\left ({\left (-i \, B b^{5} c d^{4} + i \, B a b^{4} d^{5}\right )} g n + 5 \, {\left (3 \, {\left (i \, A + i \, B\right )} b^{5} c d^{4} + {\left (i \, A + i \, B\right )} a b^{4} d^{5}\right )} g\right )} x^{4} + 2 \, {\left ({\left (-11 i \, B b^{5} c^{2} d^{3} + 10 i \, B a b^{4} c d^{4} + i \, B a^{2} b^{3} d^{5}\right )} g n + 60 \, {\left ({\left (i \, A + i \, B\right )} b^{5} c^{2} d^{3} + {\left (i \, A + i \, B\right )} a b^{4} c d^{4}\right )} g\right )} x^{3} + 6 \, {\left (10 i \, B a^{2} b^{3} c^{3} d^{2} - 10 i \, B a^{3} b^{2} c^{2} d^{3} + 5 i \, B a^{4} b c d^{4} - i \, B a^{5} d^{5}\right )} g n \log \left (\frac {b x + a}{b}\right ) + 6 \, {\left (i \, B b^{5} c^{5} - 5 i \, B a b^{4} c^{4} d\right )} g n \log \left (\frac {d x + c}{d}\right ) + 3 \, {\left ({\left (-9 i \, B b^{5} c^{3} d^{2} + 5 i \, B a b^{4} c^{2} d^{3} + 5 i \, B a^{2} b^{3} c d^{4} - i \, B a^{3} b^{2} d^{5}\right )} g n + 20 \, {\left ({\left (i \, A + i \, B\right )} b^{5} c^{3} d^{2} + 3 \, {\left (i \, A + i \, B\right )} a b^{4} c^{2} d^{3}\right )} g\right )} x^{2} + 6 \, {\left (20 \, {\left (i \, A + i \, B\right )} a b^{4} c^{3} d^{2} g + {\left (-i \, B b^{5} c^{4} d - 5 i \, B a b^{4} c^{3} d^{2} + 10 i \, B a^{2} b^{3} c^{2} d^{3} - 5 i \, B a^{3} b^{2} c d^{4} + i \, B a^{4} b d^{5}\right )} g n\right )} x + 6 \, {\left (4 i \, B b^{5} d^{5} g n x^{5} + 20 i \, B a b^{4} c^{3} d^{2} g n x + 5 \, {\left (3 i \, B b^{5} c d^{4} + i \, B a b^{4} d^{5}\right )} g n x^{4} + 20 \, {\left (i \, B b^{5} c^{2} d^{3} + i \, B a b^{4} c d^{4}\right )} g n x^{3} + 10 \, {\left (i \, B b^{5} c^{3} d^{2} + 3 i \, B a b^{4} c^{2} d^{3}\right )} g n x^{2}\right )} \log \left (\frac {b x + a}{d x + c}\right )}{120 \, b^{4} d^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 2372 vs. \(2 (245) = 490\).
time = 4.09, size = 2372, normalized size = 8.38 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 5.40, size = 1234, normalized size = 4.36 \begin {gather*} x\,\left (\frac {a\,c\,\left (\frac {\left (20\,a\,d+20\,b\,c\right )\,\left (\frac {d^2\,g\,i^3\,\left (10\,A\,a\,d+20\,A\,b\,c+B\,a\,d\,n-B\,b\,c\,n\right )}{5}-\frac {A\,d^2\,g\,i^3\,\left (20\,a\,d+20\,b\,c\right )}{20}\right )}{20\,b\,d}-\frac {d\,g\,i^3\,\left (4\,A\,a^2\,d^2+24\,A\,b^2\,c^2+B\,a^2\,d^2\,n-3\,B\,b^2\,c^2\,n+32\,A\,a\,b\,c\,d+2\,B\,a\,b\,c\,d\,n\right )}{4\,b}+A\,a\,c\,d^2\,g\,i^3\right )}{b\,d}-\frac {\left (20\,a\,d+20\,b\,c\right )\,\left (\frac {\left (20\,a\,d+20\,b\,c\right )\,\left (\frac {\left (20\,a\,d+20\,b\,c\right )\,\left (\frac {d^2\,g\,i^3\,\left (10\,A\,a\,d+20\,A\,b\,c+B\,a\,d\,n-B\,b\,c\,n\right )}{5}-\frac {A\,d^2\,g\,i^3\,\left (20\,a\,d+20\,b\,c\right )}{20}\right )}{20\,b\,d}-\frac {d\,g\,i^3\,\left (4\,A\,a^2\,d^2+24\,A\,b^2\,c^2+B\,a^2\,d^2\,n-3\,B\,b^2\,c^2\,n+32\,A\,a\,b\,c\,d+2\,B\,a\,b\,c\,d\,n\right )}{4\,b}+A\,a\,c\,d^2\,g\,i^3\right )}{20\,b\,d}-\frac {a\,c\,\left (\frac {d^2\,g\,i^3\,\left (10\,A\,a\,d+20\,A\,b\,c+B\,a\,d\,n-B\,b\,c\,n\right )}{5}-\frac {A\,d^2\,g\,i^3\,\left (20\,a\,d+20\,b\,c\right )}{20}\right )}{b\,d}+\frac {c\,g\,i^3\,\left (4\,A\,a^2\,d^2+4\,A\,b^2\,c^2+B\,a^2\,d^2\,n-B\,b^2\,c^2\,n+12\,A\,a\,b\,c\,d\right )}{b}\right )}{20\,b\,d}+\frac {c^2\,g\,i^3\,\left (12\,A\,a^2\,d^2+2\,A\,b^2\,c^2+3\,B\,a^2\,d^2\,n-B\,b^2\,c^2\,n+16\,A\,a\,b\,c\,d-2\,B\,a\,b\,c\,d\,n\right )}{2\,b\,d}\right )-x^3\,\left (\frac {\left (20\,a\,d+20\,b\,c\right )\,\left (\frac {d^2\,g\,i^3\,\left (10\,A\,a\,d+20\,A\,b\,c+B\,a\,d\,n-B\,b\,c\,n\right )}{5}-\frac {A\,d^2\,g\,i^3\,\left (20\,a\,d+20\,b\,c\right )}{20}\right )}{60\,b\,d}-\frac {d\,g\,i^3\,\left (4\,A\,a^2\,d^2+24\,A\,b^2\,c^2+B\,a^2\,d^2\,n-3\,B\,b^2\,c^2\,n+32\,A\,a\,b\,c\,d+2\,B\,a\,b\,c\,d\,n\right )}{12\,b}+\frac {A\,a\,c\,d^2\,g\,i^3}{3}\right )+x^2\,\left (\frac {\left (20\,a\,d+20\,b\,c\right )\,\left (\frac {\left (20\,a\,d+20\,b\,c\right )\,\left (\frac {d^2\,g\,i^3\,\left (10\,A\,a\,d+20\,A\,b\,c+B\,a\,d\,n-B\,b\,c\,n\right )}{5}-\frac {A\,d^2\,g\,i^3\,\left (20\,a\,d+20\,b\,c\right )}{20}\right )}{20\,b\,d}-\frac {d\,g\,i^3\,\left (4\,A\,a^2\,d^2+24\,A\,b^2\,c^2+B\,a^2\,d^2\,n-3\,B\,b^2\,c^2\,n+32\,A\,a\,b\,c\,d+2\,B\,a\,b\,c\,d\,n\right )}{4\,b}+A\,a\,c\,d^2\,g\,i^3\right )}{40\,b\,d}-\frac {a\,c\,\left (\frac {d^2\,g\,i^3\,\left (10\,A\,a\,d+20\,A\,b\,c+B\,a\,d\,n-B\,b\,c\,n\right )}{5}-\frac {A\,d^2\,g\,i^3\,\left (20\,a\,d+20\,b\,c\right )}{20}\right )}{2\,b\,d}+\frac {c\,g\,i^3\,\left (4\,A\,a^2\,d^2+4\,A\,b^2\,c^2+B\,a^2\,d^2\,n-B\,b^2\,c^2\,n+12\,A\,a\,b\,c\,d\right )}{2\,b}\right )+\ln \left (e\,{\left (\frac {a+b\,x}{c+d\,x}\right )}^n\right )\,\left (\frac {B\,c^2\,g\,i^3\,x^2\,\left (3\,a\,d+b\,c\right )}{2}+\frac {B\,d^2\,g\,i^3\,x^4\,\left (a\,d+3\,b\,c\right )}{4}+B\,a\,c^3\,g\,i^3\,x+\frac {B\,b\,d^3\,g\,i^3\,x^5}{5}+B\,c\,d\,g\,i^3\,x^3\,\left (a\,d+b\,c\right )\right )+x^4\,\left (\frac {d^2\,g\,i^3\,\left (10\,A\,a\,d+20\,A\,b\,c+B\,a\,d\,n-B\,b\,c\,n\right )}{20}-\frac {A\,d^2\,g\,i^3\,\left (20\,a\,d+20\,b\,c\right )}{80}\right )+\frac {\ln \left (c+d\,x\right )\,\left (B\,b\,c^5\,g\,i^3\,n-5\,B\,a\,c^4\,d\,g\,i^3\,n\right )}{20\,d^2}-\frac {\ln \left (a+b\,x\right )\,\left (B\,g\,n\,a^5\,d^3\,i^3-5\,B\,g\,n\,a^4\,b\,c\,d^2\,i^3+10\,B\,g\,n\,a^3\,b^2\,c^2\,d\,i^3-10\,B\,g\,n\,a^2\,b^3\,c^3\,i^3\right )}{20\,b^4}+\frac {A\,b\,d^3\,g\,i^3\,x^5}{5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________